Superposition Theorem hard examples